let apply (f, x) where pre (f) (x)
returns y where post (f) (x) (y) =
  f (x)
